Implementation theory - PDFSEARCH.IO - Document Search Engine

Implementation theory
Results: 811

#	Item
211	Computer security  PLDI’06 Tutorial T1: Enforcing and Expressing Security with Programming Languages Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-06-11 03:17:49 Data types Type theory Association for Computing Machinery Programming Language Design and Implementation Trusted computing base Programming language Java Memory safety ALGOL 68 Computing Software engineering Programming language theory
212	Implementation of the Reduced Order Information Filter ROIF Data Assimilation Scheme in HYCOM An Update on Tuning Experiments in Progress & Computational Performance Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 18:47:30 Cybernetics Systems theory Linear filters Bayesian statistics Signal processing Data assimilation Kalman filter Information filter Matrix Statistics Estimation theory Control theory
213	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
214	IMPLEMENTATION OF PARAMETERISED SPECIFICATIONS -- Extended A b s t r a c t * - - Donald Sannella Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:17:20 Structure Universal algebra Sheaf Logic Mathematics Model theory Algebraic topology
215	Implementation of the Reduced Order Information Filter ROIF Data Assimilation Scheme in HYCOM An Update on Tuning Experiments in Progress & Computational Performance Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 18:47:30 Cybernetics Systems theory Linear filters Bayesian statistics Signal processing Data assimilation Kalman filter Information filter Matrix Statistics Estimation theory Control theory
216	Technical Report Graph Isomorphism Implementation in LEDA 5.1 Author: Johannes Singler Add to Reading List Source URL: www.algorithmic-solutions.de Language: English - Date: 2008-01-10 18:04:28 Graph automorphism Graph Depth-first search Tree Matching Degree Planar graph Power graph analysis Graph theory Mathematics Theoretical computer science
217	Engaging Students to Think Critically Quality Enhancement Plan (QEP) On-site Review Date: February 14-16, 2012 QEP Implementation Team Add to Reading List Source URL: www.pfeiffer.edu Language: English - Date: 2012-06-26 10:27:01 Education theory Critical thinking Learning Thought Student engagement National Survey of Student Engagement Graduate Record Examinations Education Educational psychology Philosophy of education
218	HEAPS II • Implementation • HeapSort • Bottom-Up Heap Construction • Locators Add to Reading List Source URL: crypto.cs.mcgill.ca Language: English - Date: 2004-03-22 20:59:20 Combinatorics Heap Priority queue Insertion sort Smoothsort Binary heap Sorting algorithms Mathematics Order theory
219	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
220	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction

UPDATE